Janusz Brzozowski (informatyk)
| |
| Data i miejsce urodzenia | |
|---|---|
| Data i miejsce śmierci | |
| dr nauk technicznych | |
| Specjalność: informatyka | |
| Alma Mater | |
Janusz Antoni Brzozowski (ur. 10 maja 1935 w Warszawie, zm. 24 października 2019 w Kanadzie[1]) – polski informatyk mieszkający w Kanadzie, twórca teorii pochodnych wyrażeń regularnych nazywanych dziś pochodnymi Brzozowskiego od jego nazwiska.
W 1962 roku Brzozowski otrzymał tytuł doktora w dziedzinie inżynierii elektrycznej na Uniwersytecie Princeton – praca pt. Techniki wyrażeń regularnych dla obwodów sekwencyjnych (ang. Regular Expression Techniques for Sequential Circuits) pod kierunkiem Edwarda J. McCluskey. Od 1967 do 1996 roku był profesorem na University of Waterloo. Znany jest z wkładu w dziedziny takie jak logika matematyczna, teoria obwodów i teoria automatów.
Osiągnięcia naukowe
[edytuj | edytuj kod]Brzozowski pracował nad wyrażeniami regularnymi i półgrupami składniowymi języków formalnych[2]. Rezultatem badań była praca pt. Characterizations of locally testable events napisana wspólnie z Imre Simon, która wywarła podobny wpływ[3] na rozwój algebraicznej teorii języków formalnych co charakteryzacja języków bez domknięć Kleene'ego (star-free languages) Schützenbergera.
Prace naukowe
[edytuj | edytuj kod]- J.A. Brzozowski: Derivatives of regular expressions, Journal of the ACM 11(4): 481–494 (1964)
- J.A. Brzozowski, I. Simon: Characterizations of Locally Testable Events, FOCS 1971, pp. 166–176
- R. S. Cohen, J.A. Brzozowski: Dot-Depth of Star-Free Events. Journal of Computer and System Sciences 5(1): 1-16 (1971)
- J.A. Brzozowski, R. Knast: The Dot-Depth Hierarchy of Star-Free Languages is Infinite. Journal of Computer and System Sciences 16(1): 37–55 (1978)
Książki
[edytuj | edytuj kod]- J.A. Brzozowski, M. Yoeli: Digital Networks. Prentice–Hall, 1976
- J.A. Brzozowski, C.-J.H. Seger: Asynchronous Circuits. Springer-Verlag, 1995
Przypisy
[edytuj | edytuj kod]- ↑ In memoriam: Distinguished Professor Emeritus Janusz (John) A. Brzozowski | Cheriton School of Computer Science | University of Waterloo [online], cs.uwaterloo.ca [dostęp 2019-10-31] (ang.).
- ↑ Pin (1997)
- ↑ Diekert et al. (2008)
Linki zewnętrzne
[edytuj | edytuj kod]- Profil Janusza Brzozowskiego, University of Waterloo. cs.uwaterloo.ca. [zarchiwizowane z tego adresu (2012-11-24)].
- Prywatna strona Janusza Brzozowskiego. maveric.uwaterloo.ca. [zarchiwizowane z tego adresu (2019-10-30)]., the University of Waterloo
- The Theory of Computing Hall of Fame. student.cs.uwaterloo.ca. [zarchiwizowane z tego adresu (2019-10-30)].
Janusz Antoni Brzozowski w bazie Mathematics Genealogy Project (ang.)
